<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: G Pages: 1 -->
<svg width="139pt" height="194pt"
 viewBox="0.00 0.00 139.00 193.99" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 189.9931)">
<title>G</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-189.9931 134.9965,-189.9931 134.9965,4 -4,4"/>
<!-- conj -->
<g id="node1" class="node">
<title>conj</title>
<polygon fill="none" stroke="#000000" points="106.4983,-185.9931 52.4983,-185.9931 52.4983,-149.9931 106.4983,-149.9931 106.4983,-185.9931"/>
<text text-anchor="middle" x="79.4983" y="-164.2931" font-family="Times,serif" font-size="14.00" fill="#000000">∧</text>
</g>
<!-- disj -->
<g id="node2" class="node">
<title>disj</title>
<polygon fill="none" stroke="#000000" points="74.4983,-112.4948 20.4983,-112.4948 20.4983,-76.4948 74.4983,-76.4948 74.4983,-112.4948"/>
<text text-anchor="middle" x="47.4983" y="-90.7948" font-family="Times,serif" font-size="14.00" fill="#000000">∨</text>
</g>
<!-- conj&#45;&gt;disj -->
<g id="edge1" class="edge">
<title>conj&#45;&gt;disj</title>
<path fill="none" stroke="#000000" d="M71.5882,-149.825C67.9343,-141.4326 63.5165,-131.2858 59.4672,-121.9854"/>
<polygon fill="#000000" stroke="#000000" points="62.6293,-120.4802 55.4283,-112.7086 56.2112,-123.2745 62.6293,-120.4802"/>
</g>
<!-- p1 -->
<g id="node3" class="node">
<title>p1</title>
<ellipse fill="none" stroke="#000000" cx="111.4983" cy="-94.4948" rx="19.4965" ry="19.4965"/>
<text text-anchor="start" x="104.4983" y="-91.7948" font-family="Times,serif" font-size="14.00" fill="#000000">p</text>
<text text-anchor="start" x="111.4983" y="-91.7948" font-family="Times,serif" baseline-shift="sub" font-size="14.00" fill="#000000">1</text>
</g>
<!-- conj&#45;&gt;p1 -->
<g id="edge2" class="edge">
<title>conj&#45;&gt;p1</title>
<path fill="none" stroke="#000000" d="M87.4084,-149.825C91.0897,-141.3695 95.5465,-131.1332 99.6206,-121.7757"/>
<polygon fill="#000000" stroke="#000000" points="102.8962,-123.0198 103.6791,-112.4539 96.4781,-120.2254 102.8962,-123.0198"/>
</g>
<!-- p2 -->
<g id="node4" class="node">
<title>p2</title>
<ellipse fill="none" stroke="#000000" cx="19.4983" cy="-19.4983" rx="19.4965" ry="19.4965"/>
<text text-anchor="start" x="12.4983" y="-16.7983" font-family="Times,serif" font-size="14.00" fill="#000000">p</text>
<text text-anchor="start" x="19.4983" y="-16.7983" font-family="Times,serif" baseline-shift="sub" font-size="14.00" fill="#000000">2</text>
</g>
<!-- disj&#45;&gt;p2 -->
<g id="edge3" class="edge">
<title>disj&#45;&gt;p2</title>
<path fill="none" stroke="#000000" d="M40.7203,-76.3402C37.501,-67.7176 33.5801,-57.2157 29.9886,-47.5961"/>
<polygon fill="#000000" stroke="#000000" points="33.1851,-46.1508 26.4084,-38.0067 26.6272,-48.5992 33.1851,-46.1508"/>
</g>
<!-- p3 -->
<g id="node5" class="node">
<title>p3</title>
<ellipse fill="none" stroke="#000000" cx="76.4983" cy="-19.4983" rx="19.4965" ry="19.4965"/>
<text text-anchor="start" x="69.4983" y="-16.7983" font-family="Times,serif" font-size="14.00" fill="#000000">p</text>
<text text-anchor="start" x="76.4983" y="-16.7983" font-family="Times,serif" baseline-shift="sub" font-size="14.00" fill="#000000">3</text>
</g>
<!-- disj&#45;&gt;p3 -->
<g id="edge4" class="edge">
<title>disj&#45;&gt;p3</title>
<path fill="none" stroke="#000000" d="M54.5184,-76.3402C57.9129,-67.5618 62.0605,-56.8356 65.8345,-47.0756"/>
<polygon fill="#000000" stroke="#000000" points="69.1001,-48.3349 69.4423,-37.7456 62.5712,-45.8102 69.1001,-48.3349"/>
</g>
</g>
</svg>
